A Logical Abstract Machine for Mobile Communicating Agents
نویسندگان
چکیده
In multiagent systems a key success factor is the agent communication language (ACL). The most current trend is to use speech act-based ACLs like FIPA ACL. However such ACLs are semantically too rigid since they impose strong preconditions on both sender and receiver mental states. We present a new approach based on two pairs of synchronized primitives evolving into a flexible and block-structured, dynamic ACL. This language provides a framework for deploying mobile communicating agents in software engineering facing complexity.
منابع مشابه
A Formal Petri Net Based Model for Antivirus Update Agent System
In this paper, a formal model for antivirus update agent system is presented based on mobile agent technology and predicate/transition Petri nets. The mobile agent system contains two mobile agents called DCA and UNA. It sends out agents to update antivirus on client computers in a network. Each agent takes on a specified responsibility. First, DCA roams through the network and check the last d...
متن کاملA Formal Petri Net Based Model for Antivirus Update Agent System
In this paper, a formal model for antivirus update agent system is presented based on mobile agent technology and predicate/transition Petri nets. The mobile agent system contains two mobile agents called DCA and UNA. It sends out agents to update antivirus on client computers in a network. Each agent takes on a specified responsibility. First, DCA roams through the network and check the last d...
متن کاملCompiling dynamic agent conversations1
We consider defining executable dialogues for communicating agents. Towards this end, we introduce agent classes whose communication primitives are based on deduction. Their operational semantics are given by an abstract logical machine that is defined purely in sequential terms. These agents communicate under the control of plans requiring a synchronization flag. These plans can be rewritten a...
متن کاملAn Abstract Machine for Classes of Communicating Agents Based on Deduction
We consider the problem of defining executable runs for classes of communicating agents. We first define an abstract machine that generates runs for individual agents with non-deterministic plans. We then introduce agent classes whose communication primitives are based on deduction. Contrary to other more theoretical work, their operational semantics are given by an abstract machine that is def...
متن کاملVisualized and Abstract Formal Modeling Towards The Multi-Agent Systems
Multi-agent systems technology has generated lots of incitements, because of it used for distributed, intelligent and safety critical system. The failure of some system may cause the loss of human life, severe injuries, loss of money and environmental damages. To get the robust, safe and reliable multi-agent system it requires formal modeling and step by step refinement for its construction and...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003